1. Admissible sets and structures

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
QA9
،.
B379
1975

2. Admissible sets and structures; An approach to definability theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Admissible sets,Definability theory

رده :
511
.
3
B296

3. Admissible sets and structures. an approach to definability theory /

پدیدآورنده :

موضوع : ، Admissible sets,، Definability theory )Mathematical logic(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

4. Admissible sets and structures : an approach to definability theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29

5. Admissible sets and structures : an approach to definability theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29
1975

6. Admissible sets and structures : an approach to definability theory

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Admissible sets,، Definability theory )Mathematical logic(

رده :
QA
9
.
B29

7. Handbook of mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32

8. Handbook of mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
H32

9. Handbook of mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical

رده :
QA9
,.
H32

10. Hyperproof ]for the Macintosh[

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(

رده :
P
25
.
C28
No
.
42

11. Information flow :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Electronic data processing-- Distributed processing.

رده :
QA76
.
9
.
D5
B363
1997

12. Language, proof, and logic

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic.,منطق

رده :
BC
61
.
B32L32
1999
E
.
Book
,

13. Language, proof, and logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Logic

رده :
BC61
.
B38
2002

14. Language, proof, and logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Logic

رده :
BC61
.
B38
2002

15. Logical reasoning with diagram

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Knowledge representation (Information theory),Logic, Symbolic and mathematical--Charts, diagrams, etc

رده :
QA9
,.
L624
,
1996eb

16. Situations and attitudes

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Semantics )Philosophy(

رده :
B
840
.
B37
1983

17. Situations and attitudes

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: semantics (philosophy)

رده :
B840
.
S53
1983

18. Studies in model theor

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Model theory

رده :
QA
.
M67
9
.
7

19. Studies in model theory

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Model theory

رده :
QA
9
.
7
.
S78

20. Tarski's world /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Tarski's world,First-order logic

رده :
BC128
.
B35
2008